Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ثبت نشده
چکیده
Now, we come to offer you the right catalogues of book to open. model driven development of reliable automotive services second automotive software workshop aswsd is one of the literary work in this world in suitable to be reading material. That's not only this book gives reference, but also it will show you the amazing benefits of reading a book. Developing your countless minds is needed; moreover you are kind of people with great curiosity. So, the book is very appropriate for you.
منابع مشابه
Generating Sound and Resource-Aware Code from Hybrid System Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...
متن کاملProcessing of Asian dust
Direct observations of the atmospheric processing of Asian mineral dust R. C. Sullivan, S. A. Guazzotti, D. A. Sodeman, and K. A. Prather Department of Chemistry & Biochemistry, University of California, San Diego, La Jolla, CA, 92093-0314, USA Scripps Institution of Oceanography, University of California, San Diego, La Jolla, CA, 92093, USA now at: Desert Research Institute, Reno, NV, USA, 895...
متن کاملAutomotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development processes do not address well the needs of large-scale distributed real-time systems, like the ones automobiles do (or soon will) contain. The paper introduces a vision for the model-based development of embedded software, w...
متن کاملTitle: Automated Test Case Generation for Code Generators Based on Graph-transformation Rules
In automotive software development models are the central artefact within the whole development process (model-based development). The new technology of automatic code generation closes the gap between the software design on the base of a model (executable specification) and its implementation (controller code). This paper shows how to test formally specified code generators and gives guidance ...
متن کاملTestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Aut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره 4922 شماره
صفحات -
تاریخ انتشار 2008